closure properties in toc